1. Constructive mathematics: proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, Augustll-15, 1980
پدیدآورنده : Edited by F. Richman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Constructive mathematics - Congresses,Inuitionistic mathematics - Congresses
رده :
QA
3
.
L28
no
.
873
2. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
1
.
L4
v
.
873
3. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
4. Essays in constructive mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constructive mathematics. ;
5. Essays in constructive mathematics
پدیدآورنده : / Harold M. Edwards
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Constructive mathematics
رده :
E-BOOK
6. Foundational Theories of Classical and Constructive Mathematics
پدیدآورنده : \ Giovanni Sommaruga Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy.,Constructive mathematics -- Philosophy.,ریاضیات -- فلسفه ,ریاضیات ساختنی -- فلسفه
رده :
QA
8
.
4
.
F6
2011
E-Book
,
7. Foundations of constructive mathematics : metamathematical studies
پدیدآورنده : Beeson, Michael J
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
B44
1985
8. Mathematics as a constructive activity :
پدیدآورنده : / Anne Watson, John Mason
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics , Study and teaching , Methodology,Example,Concept learning
رده :
E-BOOK
9. Problems in the constructive trend in mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Constructive mathematics-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
93
etc
.
10. Studies in constructive mathematics and mathematical logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
I813
11. Varieties of constructive mathematics
پدیدآورنده : Bridges, Douglas S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
B75
1987